Optimal. Leaf size=445 \[ -\frac {\sqrt {a+b x^2-c x^4}}{3 a x^3}+\frac {2 b \sqrt {a+b x^2-c x^4}}{3 a^2 x}-\frac {b \left (b-\sqrt {b^2+4 a c}\right ) \sqrt {b+\sqrt {b^2+4 a c}} \sqrt {1-\frac {2 c x^2}{b-\sqrt {b^2+4 a c}}} \sqrt {1-\frac {2 c x^2}{b+\sqrt {b^2+4 a c}}} E\left (\sin ^{-1}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {b+\sqrt {b^2+4 a c}}}\right )|\frac {b+\sqrt {b^2+4 a c}}{b-\sqrt {b^2+4 a c}}\right )}{3 \sqrt {2} a^2 \sqrt {c} \sqrt {a+b x^2-c x^4}}+\frac {\sqrt {b+\sqrt {b^2+4 a c}} \left (b^2+a c-b \sqrt {b^2+4 a c}\right ) \sqrt {1-\frac {2 c x^2}{b-\sqrt {b^2+4 a c}}} \sqrt {1-\frac {2 c x^2}{b+\sqrt {b^2+4 a c}}} F\left (\sin ^{-1}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {b+\sqrt {b^2+4 a c}}}\right )|\frac {b+\sqrt {b^2+4 a c}}{b-\sqrt {b^2+4 a c}}\right )}{3 \sqrt {2} a^2 \sqrt {c} \sqrt {a+b x^2-c x^4}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.33, antiderivative size = 445, normalized size of antiderivative = 1.00, number of steps
used = 6, number of rules used = 6, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.286, Rules used = {1137, 1295,
1216, 538, 435, 430} \begin {gather*} \frac {\sqrt {\sqrt {4 a c+b^2}+b} \left (-b \sqrt {4 a c+b^2}+a c+b^2\right ) \sqrt {1-\frac {2 c x^2}{b-\sqrt {4 a c+b^2}}} \sqrt {1-\frac {2 c x^2}{\sqrt {4 a c+b^2}+b}} F\left (\text {ArcSin}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {b+\sqrt {b^2+4 a c}}}\right )|\frac {b+\sqrt {b^2+4 a c}}{b-\sqrt {b^2+4 a c}}\right )}{3 \sqrt {2} a^2 \sqrt {c} \sqrt {a+b x^2-c x^4}}-\frac {b \left (b-\sqrt {4 a c+b^2}\right ) \sqrt {\sqrt {4 a c+b^2}+b} \sqrt {1-\frac {2 c x^2}{b-\sqrt {4 a c+b^2}}} \sqrt {1-\frac {2 c x^2}{\sqrt {4 a c+b^2}+b}} E\left (\text {ArcSin}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {b+\sqrt {b^2+4 a c}}}\right )|\frac {b+\sqrt {b^2+4 a c}}{b-\sqrt {b^2+4 a c}}\right )}{3 \sqrt {2} a^2 \sqrt {c} \sqrt {a+b x^2-c x^4}}+\frac {2 b \sqrt {a+b x^2-c x^4}}{3 a^2 x}-\frac {\sqrt {a+b x^2-c x^4}}{3 a x^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 430
Rule 435
Rule 538
Rule 1137
Rule 1216
Rule 1295
Rubi steps
\begin {align*} \int \frac {1}{x^4 \sqrt {a+b x^2-c x^4}} \, dx &=-\frac {\sqrt {a+b x^2-c x^4}}{3 a x^3}+\frac {\int \frac {-2 b+c x^2}{x^2 \sqrt {a+b x^2-c x^4}} \, dx}{3 a}\\ &=-\frac {\sqrt {a+b x^2-c x^4}}{3 a x^3}+\frac {2 b \sqrt {a+b x^2-c x^4}}{3 a^2 x}-\frac {\int \frac {-a c-2 b c x^2}{\sqrt {a+b x^2-c x^4}} \, dx}{3 a^2}\\ &=-\frac {\sqrt {a+b x^2-c x^4}}{3 a x^3}+\frac {2 b \sqrt {a+b x^2-c x^4}}{3 a^2 x}-\frac {\left (\sqrt {1-\frac {2 c x^2}{b-\sqrt {b^2+4 a c}}} \sqrt {1-\frac {2 c x^2}{b+\sqrt {b^2+4 a c}}}\right ) \int \frac {-a c-2 b c x^2}{\sqrt {1-\frac {2 c x^2}{b-\sqrt {b^2+4 a c}}} \sqrt {1-\frac {2 c x^2}{b+\sqrt {b^2+4 a c}}}} \, dx}{3 a^2 \sqrt {a+b x^2-c x^4}}\\ &=-\frac {\sqrt {a+b x^2-c x^4}}{3 a x^3}+\frac {2 b \sqrt {a+b x^2-c x^4}}{3 a^2 x}-\frac {\left (b \left (b-\sqrt {b^2+4 a c}\right ) \sqrt {1-\frac {2 c x^2}{b-\sqrt {b^2+4 a c}}} \sqrt {1-\frac {2 c x^2}{b+\sqrt {b^2+4 a c}}}\right ) \int \frac {\sqrt {1-\frac {2 c x^2}{b-\sqrt {b^2+4 a c}}}}{\sqrt {1-\frac {2 c x^2}{b+\sqrt {b^2+4 a c}}}} \, dx}{3 a^2 \sqrt {a+b x^2-c x^4}}+\frac {\left (\left (b^2+a c-b \sqrt {b^2+4 a c}\right ) \sqrt {1-\frac {2 c x^2}{b-\sqrt {b^2+4 a c}}} \sqrt {1-\frac {2 c x^2}{b+\sqrt {b^2+4 a c}}}\right ) \int \frac {1}{\sqrt {1-\frac {2 c x^2}{b-\sqrt {b^2+4 a c}}} \sqrt {1-\frac {2 c x^2}{b+\sqrt {b^2+4 a c}}}} \, dx}{3 a^2 \sqrt {a+b x^2-c x^4}}\\ &=-\frac {\sqrt {a+b x^2-c x^4}}{3 a x^3}+\frac {2 b \sqrt {a+b x^2-c x^4}}{3 a^2 x}-\frac {b \left (b-\sqrt {b^2+4 a c}\right ) \sqrt {b+\sqrt {b^2+4 a c}} \sqrt {1-\frac {2 c x^2}{b-\sqrt {b^2+4 a c}}} \sqrt {1-\frac {2 c x^2}{b+\sqrt {b^2+4 a c}}} E\left (\sin ^{-1}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {b+\sqrt {b^2+4 a c}}}\right )|\frac {b+\sqrt {b^2+4 a c}}{b-\sqrt {b^2+4 a c}}\right )}{3 \sqrt {2} a^2 \sqrt {c} \sqrt {a+b x^2-c x^4}}+\frac {\sqrt {b+\sqrt {b^2+4 a c}} \left (b^2+a c-b \sqrt {b^2+4 a c}\right ) \sqrt {1-\frac {2 c x^2}{b-\sqrt {b^2+4 a c}}} \sqrt {1-\frac {2 c x^2}{b+\sqrt {b^2+4 a c}}} F\left (\sin ^{-1}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {b+\sqrt {b^2+4 a c}}}\right )|\frac {b+\sqrt {b^2+4 a c}}{b-\sqrt {b^2+4 a c}}\right )}{3 \sqrt {2} a^2 \sqrt {c} \sqrt {a+b x^2-c x^4}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains complex when optimal does not.
time = 10.49, size = 472, normalized size = 1.06 \begin {gather*} \frac {-2 \sqrt {-\frac {c}{b+\sqrt {b^2+4 a c}}} \left (a-2 b x^2\right ) \left (a+b x^2-c x^4\right )-i \sqrt {2} b \left (-b+\sqrt {b^2+4 a c}\right ) x^3 \sqrt {\frac {b+\sqrt {b^2+4 a c}-2 c x^2}{b+\sqrt {b^2+4 a c}}} \sqrt {\frac {-b+\sqrt {b^2+4 a c}+2 c x^2}{-b+\sqrt {b^2+4 a c}}} E\left (i \sinh ^{-1}\left (\sqrt {2} \sqrt {-\frac {c}{b+\sqrt {b^2+4 a c}}} x\right )|\frac {b+\sqrt {b^2+4 a c}}{b-\sqrt {b^2+4 a c}}\right )+i \sqrt {2} \left (-b^2-a c+b \sqrt {b^2+4 a c}\right ) x^3 \sqrt {\frac {b+\sqrt {b^2+4 a c}-2 c x^2}{b+\sqrt {b^2+4 a c}}} \sqrt {\frac {-b+\sqrt {b^2+4 a c}+2 c x^2}{-b+\sqrt {b^2+4 a c}}} F\left (i \sinh ^{-1}\left (\sqrt {2} \sqrt {-\frac {c}{b+\sqrt {b^2+4 a c}}} x\right )|\frac {b+\sqrt {b^2+4 a c}}{b-\sqrt {b^2+4 a c}}\right )}{6 a^2 \sqrt {-\frac {c}{b+\sqrt {b^2+4 a c}}} x^3 \sqrt {a+b x^2-c x^4}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.04, size = 417, normalized size = 0.94
method | result | size |
risch | \(-\frac {\sqrt {-c \,x^{4}+b \,x^{2}+a}\, \left (-2 b \,x^{2}+a \right )}{3 a^{2} x^{3}}+\frac {c \left (-\frac {b a \sqrt {2}\, \sqrt {4-\frac {2 \left (-b +\sqrt {4 a c +b^{2}}\right ) x^{2}}{a}}\, \sqrt {4+\frac {2 \left (b +\sqrt {4 a c +b^{2}}\right ) x^{2}}{a}}\, \left (\EllipticF \left (\frac {x \sqrt {2}\, \sqrt {\frac {-b +\sqrt {4 a c +b^{2}}}{a}}}{2}, \frac {\sqrt {-4-\frac {2 b \left (b +\sqrt {4 a c +b^{2}}\right )}{a c}}}{2}\right )-\EllipticE \left (\frac {x \sqrt {2}\, \sqrt {\frac {-b +\sqrt {4 a c +b^{2}}}{a}}}{2}, \frac {\sqrt {-4-\frac {2 b \left (b +\sqrt {4 a c +b^{2}}\right )}{a c}}}{2}\right )\right )}{\sqrt {\frac {-b +\sqrt {4 a c +b^{2}}}{a}}\, \sqrt {-c \,x^{4}+b \,x^{2}+a}\, \left (b +\sqrt {4 a c +b^{2}}\right )}+\frac {a \sqrt {2}\, \sqrt {4-\frac {2 \left (-b +\sqrt {4 a c +b^{2}}\right ) x^{2}}{a}}\, \sqrt {4+\frac {2 \left (b +\sqrt {4 a c +b^{2}}\right ) x^{2}}{a}}\, \EllipticF \left (\frac {x \sqrt {2}\, \sqrt {\frac {-b +\sqrt {4 a c +b^{2}}}{a}}}{2}, \frac {\sqrt {-4-\frac {2 b \left (b +\sqrt {4 a c +b^{2}}\right )}{a c}}}{2}\right )}{4 \sqrt {\frac {-b +\sqrt {4 a c +b^{2}}}{a}}\, \sqrt {-c \,x^{4}+b \,x^{2}+a}}\right )}{3 a^{2}}\) | \(402\) |
default | \(-\frac {\sqrt {-c \,x^{4}+b \,x^{2}+a}}{3 a \,x^{3}}+\frac {2 b \sqrt {-c \,x^{4}+b \,x^{2}+a}}{3 a^{2} x}+\frac {c \sqrt {2}\, \sqrt {4-\frac {2 \left (-b +\sqrt {4 a c +b^{2}}\right ) x^{2}}{a}}\, \sqrt {4+\frac {2 \left (b +\sqrt {4 a c +b^{2}}\right ) x^{2}}{a}}\, \EllipticF \left (\frac {x \sqrt {2}\, \sqrt {\frac {-b +\sqrt {4 a c +b^{2}}}{a}}}{2}, \frac {\sqrt {-4-\frac {2 b \left (b +\sqrt {4 a c +b^{2}}\right )}{a c}}}{2}\right )}{12 a \sqrt {\frac {-b +\sqrt {4 a c +b^{2}}}{a}}\, \sqrt {-c \,x^{4}+b \,x^{2}+a}}-\frac {c b \sqrt {2}\, \sqrt {4-\frac {2 \left (-b +\sqrt {4 a c +b^{2}}\right ) x^{2}}{a}}\, \sqrt {4+\frac {2 \left (b +\sqrt {4 a c +b^{2}}\right ) x^{2}}{a}}\, \left (\EllipticF \left (\frac {x \sqrt {2}\, \sqrt {\frac {-b +\sqrt {4 a c +b^{2}}}{a}}}{2}, \frac {\sqrt {-4-\frac {2 b \left (b +\sqrt {4 a c +b^{2}}\right )}{a c}}}{2}\right )-\EllipticE \left (\frac {x \sqrt {2}\, \sqrt {\frac {-b +\sqrt {4 a c +b^{2}}}{a}}}{2}, \frac {\sqrt {-4-\frac {2 b \left (b +\sqrt {4 a c +b^{2}}\right )}{a c}}}{2}\right )\right )}{3 a \sqrt {\frac {-b +\sqrt {4 a c +b^{2}}}{a}}\, \sqrt {-c \,x^{4}+b \,x^{2}+a}\, \left (b +\sqrt {4 a c +b^{2}}\right )}\) | \(417\) |
elliptic | \(-\frac {\sqrt {-c \,x^{4}+b \,x^{2}+a}}{3 a \,x^{3}}+\frac {2 b \sqrt {-c \,x^{4}+b \,x^{2}+a}}{3 a^{2} x}+\frac {c \sqrt {2}\, \sqrt {4-\frac {2 \left (-b +\sqrt {4 a c +b^{2}}\right ) x^{2}}{a}}\, \sqrt {4+\frac {2 \left (b +\sqrt {4 a c +b^{2}}\right ) x^{2}}{a}}\, \EllipticF \left (\frac {x \sqrt {2}\, \sqrt {\frac {-b +\sqrt {4 a c +b^{2}}}{a}}}{2}, \frac {\sqrt {-4-\frac {2 b \left (b +\sqrt {4 a c +b^{2}}\right )}{a c}}}{2}\right )}{12 a \sqrt {\frac {-b +\sqrt {4 a c +b^{2}}}{a}}\, \sqrt {-c \,x^{4}+b \,x^{2}+a}}-\frac {c b \sqrt {2}\, \sqrt {4-\frac {2 \left (-b +\sqrt {4 a c +b^{2}}\right ) x^{2}}{a}}\, \sqrt {4+\frac {2 \left (b +\sqrt {4 a c +b^{2}}\right ) x^{2}}{a}}\, \left (\EllipticF \left (\frac {x \sqrt {2}\, \sqrt {\frac {-b +\sqrt {4 a c +b^{2}}}{a}}}{2}, \frac {\sqrt {-4-\frac {2 b \left (b +\sqrt {4 a c +b^{2}}\right )}{a c}}}{2}\right )-\EllipticE \left (\frac {x \sqrt {2}\, \sqrt {\frac {-b +\sqrt {4 a c +b^{2}}}{a}}}{2}, \frac {\sqrt {-4-\frac {2 b \left (b +\sqrt {4 a c +b^{2}}\right )}{a c}}}{2}\right )\right )}{3 a \sqrt {\frac {-b +\sqrt {4 a c +b^{2}}}{a}}\, \sqrt {-c \,x^{4}+b \,x^{2}+a}\, \left (b +\sqrt {4 a c +b^{2}}\right )}\) | \(417\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: TypeError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {1}{x^{4} \sqrt {a + b x^{2} - c x^{4}}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {1}{x^4\,\sqrt {-c\,x^4+b\,x^2+a}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________